<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">

<html xmlns="http://www.w3.org/1999/xhtml"
      xmlns:py="http://genshi.edgewall.org/"
      xmlns:xi="http://www.w3.org/2001/XInclude">

      <xi:include href="master.html" />
      <xi:include href="menu_afns.html" />

    <head>
          <meta content="text/html; charset=UTF-8" http-equiv="content-type" py:replace="''"/>
          <title>AFN del Analizador Lexico</title>
    </head>

    <body>
           <h2>AFN para el Analizador Lexico <div style="color:green">${nombre_analizador}</div></h2>

           ${menu_superior_generar_afn(id_analizador_lexico)}

           <table border="1" width="100%">
	         <tr style="color: purple; font-size: 11pt" align="center">
                    <th width="100%" align="center">Expresiones Regulares</th>
                 </tr>

                 <py:for each="tupla_nombre_definicion in lista_final_definicion_expresiones">
                    <tr>
                         <td width="100%" align="left">${tupla_nombre_definicion[0]} = ${tupla_nombre_definicion[1]}</td>
                    </tr>
                 </py:for>
            </table>

           <table border="1" width="100%">
	         <tr style="color: purple; font-size: 11pt" align="center">
                    <th width="100%" align="center">AFN Generado</th>
                 </tr>
                 <tr>
                    <td width="100%"><img src='../images/afn_graph.png' alt="Smiley face"/></td>
                 </tr>
                 <tr>

                    <td width="100%" align="left" style="color: red; font-size: 11pt"><b>Inicio: ${inicio}</b></td>
                 </tr>
                 <tr>
                    <td width="100%" align="left" style="color: green; font-size: 11pt"><b>Aceptacion: ${aceptacion}</b></td>
                 </tr>
            </table>

    </body>
</html>
